Tzoref, Rachel: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[ACM Press the 31st IEEE/ACM International Conference - Singapore, Singapore (2016.09.03-2016.09.07)] Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering - ASE 2016 - Visualization of combinatorial models and test plans

Tzoref-Brill, Rachel, Wojciak, Paul, Maoz, Shahar

Year:

2016

Language:

english

File:

PDF, 623 KB

english, 2016

2

[Lecture Notes in Computer Science] Hardware and Software: Verification and Testing Volume 10629 || ACAT: A Novel Machine-Learning-Based Tool for Automating Android Application Testing

Strichman, Ofer, Tzoref-Brill, Rachel

Year:

2017

Language:

english

File:

PDF, 482 KB

english, 2017

3

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - OH, USA (2014.3.31-2014.4.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops - Combinatorial Testing with Order Requirements

Farchi, Eitan, Segall, Itai, Tzoref-Brill, Rachel, Zlotnick, Aviad

Year:

2014

Language:

english

File:

PDF, 353 KB

english, 2014

4

[ACM Press the 2019 27th ACM Joint Meeting - Tallinn, Estonia (2019.08.26-2019.08.30)] Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2019 - Bridging the gap between ML solutions and their business requirements using feature interactions

Barash, Guy, Farchi, Eitan, Jayaraman, Ilan, Raz, Orna, Tzoref-Brill, Rachel, Zalmanovici, Marcel

Year:

2019

Language:

english

File:

PDF, 937 KB

english, 2019

5

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - IWCT 2017 Organizers

Simos, Dimitris, Tzoref-Brill, Rachel

Year:

2017

Language:

english

File:

PDF, 254 KB

english, 2017

6

[ACM Press the 2011 International Symposium - Toronto, Ontario, Canada (2011.07.17-2011.07.21)] Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 - Using binary decision diagrams for combinatorial test design

Segall, Itai, Tzoref-Brill, Rachel, Farchi, Eitan

Year:

2011

Language:

english

File:

PDF, 834 KB

english, 2011

7

Supporting SAT based BMC on Finite Path Models

Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham, Rachel Tzoref

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 193 KB

english, 2006

8

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Interactive refinement of combinatorial test plans

Segall, Itai, Tzoref-Brill, Rachel

Year:

2012

Language:

english

File:

PDF, 452 KB

english, 2012

9

[ACM Press the 32nd ACM/IEEE International Conference - Cape Town, South Africa (2010.05.01-2010.05.08)] Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 - Improving throughput via slowdowns

Goldstein, Maayan, Shehory, Onn, Tzoref-Brill, Rachel, Ur, Shmuel

Year:

2010

Language:

english

File:

PDF, 559 KB

english, 2010

10

[ACM Press the 2007 ACM workshop - London, United Kingdom (2007.07.09-2007.07.09)] Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging - PADTAD '07 - Healing data races on-the-fly

Krena, Bohuslav, Letko, Zdenek, Tzoref, Rachel, Ur, Shmuel, Vojnar, Tomáš

Year:

2007

Language:

english

File:

PDF, 255 KB

english, 2007

11

[ACM Press the 2018 26th ACM Joint Meeting - Lake Buena Vista, FL, USA (2018.11.04-2018.11.09)] Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 - Modify, enhance, select: co-evolution of combinatorial models and test plans

Tzoref-Brill, Rachel, Maoz, Shahar

Year:

2018

Language:

english

File:

PDF, 940 KB

english, 2018

12

[IEEE 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Chicago, IL, USA (2016.4.11-2016.4.15)] 2016 IEEE Ninth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Combinatorial Testing: From Algorithms to Applications

Gargantini, Angelo, Tzoref-Brill, Rachel

Year:

2016

Language:

english

File:

PDF, 204 KB

english, 2016

13

[IEEE 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW) - Luxembourg, Luxembourg (2013.03.18-2013.03.22)] 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops - Using Projections to Debug Large Combinatorial Models

Farchi, Eitan, Segall, Itai, Tzoref-Brill, Rachel

Year:

2013

Language:

english

File:

PDF, 246 KB

english, 2013

14

[IEEE 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) - Buenos Aires (2017.5.20-2017.5.28)] 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) - Syntactic and Semantic Differencing for Combinatorial Models of Test Designs

Tzoref-Brill, Rachel, Maoz, Shahar

Year:

2017

Language:

english

File:

PDF, 382 KB

english, 2017

15

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Interaction-based test-suite minimization

Blue, Dale, Segall, Itai, Tzoref-Brill, Rachel, Zlotnick, Aviad

Year:

2013

Language:

english

File:

PDF, 249 KB

english, 2013

16

[ACM Press the 2nd International Workshop - Saarbrücken, Germany (2016.07.21-2016.07.21)] Proceedings of the 2nd International Workshop on Quality-Aware DevOps - QUDOS 2016 - Coverage-based metrics for cloud adaptation

Magid, Yonit, Tzoref-Brill, Rachel, Zalmanovici, Marcel

Year:

2016

Language:

english

File:

PDF, 504 KB

english, 2016

17

[ACM Press the 2007 international symposium - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 - Instrumenting where it hurts

Tzoref, Rachel, Ur, Shmuel, Yom-Tov, Elad

Year:

2007

Language:

english

File:

PDF, 1.18 MB

english, 2007

18

[ACM Press the 2016 24th ACM SIGSOFT International Symposium - Seattle, WA, USA (2016.11.13-2016.11.18)] Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016 - Cluster-based test suite functional analysis

Zalmanovici, Marcel, Raz, Orna, Tzoref-Brill, Rachel

Year:

2016

Language:

english

File:

PDF, 562 KB

english, 2016

19

[Advances in Computers] || Advances in Combinatorial Testing

Tzoref-Brill, Rachel

Year:

2018

Language:

english

File:

PDF, 2.74 MB

english, 2018

20

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering Software Engineering in Practice - ICSE-SEIP '18 - Proactive and pervasive combinatorial testing

Blue, Dale, Raz, Orna, Tzoref-Brill, Rachel, Wojciak, Paul, Zalmanovici, Marcel

Year:

2018

Language:

english

File:

PDF, 567 KB

english, 2018

21

[IEEE 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - L'Aquila, Italy (2008.09.15-2008.09.19)] 2008 23rd IEEE/ACM International Conference on Automated Software Engineering - Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections

Yom-Tov, Elad, Tzoref, Rachel, Ur, Shmuel, Hoory, Shlomo

Year:

2008

Language:

english

File:

PDF, 287 KB

english, 2008

22

[IEEE 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 IEEE International Conference on Software Testing Verification and Validation Workshop - Experience with a Concurrency Bugs Benchmark

Eytani, Yaniv, Tzoref, Rachel, Ur, Shmuel

Year:

2008

Language:

english

File:

PDF, 186 KB

english, 2008

23

[IEEE 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation (ICST) - Cleveland, OH, USA (2014.03.31-2014.04.4)] 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation - System Level Combinatorial Testing in Practice -- The Concurrent Maintenance Case Study

Wojciak, Paul, Tzoref-Brill, Rachel

Year:

2014

Language:

english

File:

PDF, 239 KB

english, 2014

24

[ACM Press the 8th ACM International Systems and Storage Conference - Haifa, Israel (2015.05.26-2015.05.28)] Proceedings of the 8th ACM International Systems and Storage Conference on - SYSTOR '15 - Feedback-driven combinatorial test design and execution

Segall, Itai, Tzoref-Brill, Rachel

Year:

2015

Language:

english

File:

PDF, 349 KB

english, 2015

25

[IEEE 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Combining minimization and generation for combinatorial testing

Segall, Itai, Tzoref-Brill, Rachel, Zlotnick, Aviad

Year:

2015

Language:

english

File:

PDF, 189 KB

english, 2015

26

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Simplified Modeling of Combinatorial Test Spaces

Segall, Itai, Tzoref-Brill, Rachel, Zlotnick, Aviad

Year:

2012

Language:

english

File:

PDF, 182 KB

english, 2012

27

[ACM Press the 7th Workshop - Chicago, Illinois (2009.07.19-2009.07.20)] Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 - Forcing small models of conditions on program interleaving for detection of concurrent bugs

Trainin, Ehud, Nir-Buchbinder, Yarden, Tzoref-Brill, Rachel, Zlotnick, Aviad, Ur, Shmuel, Farchi, Eitan

Year:

2009

Language:

english

File:

PDF, 55 KB

english, 2009

28

[Lecture Notes in Computer Science] Hardware and Software: Verification and Testing Volume 10629 || An Interaction Concept for Program Verification Systems with Explicit Proof Object

Strichman, Ofer, Tzoref-Brill, Rachel

Year:

2017

Language:

english

File:

PDF, 1.06 MB

english, 2017

29

[IEEE 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Xi'an, China (2019.4.22-2019.4.23)] 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Practical Fault Localization with Combinatorial Test Design

Blue, Dale, Hicks, Andrew, Rawlins, Ryan, Tzoref-Brill, Rachel

Year:

2019

Language:

english

File:

PDF, 111 KB

english, 2019

30

[Lecture Notes in Computer Science] Hardware and Software: Verification and Testing Volume 10629 ||

Strichman, Ofer, Tzoref-Brill, Rachel

Year:

2017

Language:

english

File:

PDF, 8.93 MB

english, 2017

31

[Lecture Notes in Computer Science] Hardware and Software: Verification and Testing Volume 10629 || Towards Verification of Robot Design for Self-localization

Strichman, Ofer, Tzoref-Brill, Rachel

Year:

2017

Language:

english

File:

PDF, 1.75 MB

english, 2017

32

[IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Common Patterns in Combinatorial Models

Segall, Itai, Tzoref-Brill, Rachel, Zlotnick, Aviad

Year:

2012

Language:

english

File:

PDF, 148 KB

english, 2012

33

[Lecture Notes in Computer Science] Hardware and Software: Verification and Testing Volume 10629 || APSL: A Light Weight Testing Tool for Protocols with Complex Messages

Strichman, Ofer, Tzoref-Brill, Rachel

Year:

2017

Language:

english

File:

PDF, 329 KB

english, 2017

34

[IEEE 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Tokyo, Japan (2017.3.13-2017.3.17)] 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - General Message from the IWCT Workshop Chairs

Simos, Dimitris, Tzoref-Brill, Rachel

Year:

2017

Language:

english

File:

PDF, 166 KB

english, 2017

35

[Lecture Notes in Computer Science] Hardware and Software: Verification and Testing Volume 10629 || Trace-based Analysis of Memory Corruption Malware Attacks

Strichman, Ofer, Tzoref-Brill, Rachel

Year:

2017

Language:

english

File:

PDF, 362 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски